existential proposition

存在命题